Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📏 Linear Logic
Resource Awareness, Session Types, Proof Nets, Substructural Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28853
posts in
14.4
ms
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
23h
🔠
Type-Level Programming
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
21h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🌳
Context free grammars
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
🔧
Hardware Verification
Differential
Logic
• 15
inquiryintoinquiry.com
·
10h
⚔️
Lean Theorem
Show HN: Turn – A
compiled
systems language for agentic
computation
news.ycombinator.com
·
12h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
2h
🔧
Hardware Verification
extended C*-
algebra
in
nLab
ncatlab.org
·
8h
🧮
Algebraic Archives
ReasonX
:
Declarative
Reasoning on Explanations
arxiv.org
·
23h
🔗
Constraint Handling
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
8h
🕸️
Graph Algorithms
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
Understanding
SMF
properties
davepacheco.net
·
6h
💧
Liquid Types
"LLMs strip provenance from knowledge. Systematically,
architecturally
and by design. And in so doing, AI systems are creating a form of knowledge
netwo
...
digipres.club
·
6h
💻
Local LLMs
Show HN:
Deterministic
symbolic memory layer for
grounding
LLMs
github.com
·
20h
·
Discuss:
Hacker News
⚡
Hardware Transactional Memory
Linkage
11011110.github.io
·
2d
🕳️
Persistent Homology
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
8h
🌊
Stream Processing
LLM-Assisted
Deanonymization
schneier.com
·
16h
💻
Local LLMs
Valuable
News
vermaden.wordpress.com
·
11h
🔌
Operating system internals
The Semantic Infrastructure Opportunity: Building
Meaningful
Operational
Frameworks
moderndata101.substack.com
·
16h
·
Discuss:
Substack
📇
Dublin Core
Show HN: An
Auditable
Decision Engine for AI Systems
maelstrom.ghostlogic.tech
·
2h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help